Formal change impact analyses for emulated control software
نویسندگان
چکیده
منابع مشابه
Formal Methods for Robotic System Control Software
Motivation In many instances, programs are concerned only with processing or manipulating data and displaying them to a user, who becomes the agent that ends up taking physical action. However, in some instances, we create software to control other analog devices or machinery directly. We call these hybrid systems because they exhibit a mixture of discrete behavior from the software and continu...
متن کاملIntegrating Software Traceability for Change Impact Analysis
Software maintenance is recognized as the most costly activity in software engineering with typical estimates of more than half of the software development cost. The main problem to a maintainer is that seemingly small changes can ripple throughout the system to cause substantial impact elsewhere. Software traceability and its subsequent impact analysis help relate the consequences or ripple-ef...
متن کاملFormal Specification and Verification of Control Software for
Microprocessor-based systems are increasingly being used to provide improved security. The t c improvements in security are often accomplished at the cost of increased complexity, as when a smar ard microprocessor replaces a simple password system for network access control. Formal methods l m are recognized as an effective means of assuring the security of systems, and have been used in severa...
متن کاملFormal specification and verification of control software for cryptographic equipment
This paper describes the application of formal specification and verification methods to two microprocessor-based cryptographic devices: a “sman token” system that controls access to a network of workstations, and a message authentication device implementing the ANSI X9.9 message authentication standard. Formal specification and verification were found to be practical, cost-effective tools for ...
متن کاملA review of software change impact analysis
Change impact analysis is required for constantly evolving systems to support the comprehension, implementation, and evaluation of changes. A lot of research effort has been spent on this subject over the last twenty years, and many approaches were published likewise. However, there has not been an extensive attempt made to summarize and review published approaches as a base for further researc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2006
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-004-0174-5